1. Advances in Cryptology CRYPTO' 93 :
پدیدآورنده : Gerhard Goos
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
2. Advances in Web-Age Information Management :
پدیدآورنده : Gerhard Goos
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
9
.
D3
G474
2003
3. Computational Science and Its Applications ICCSA 2003 :
پدیدآورنده : Gerhard Goos
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
4. Computational Science and Its Applications ICCSA 2003 :
پدیدآورنده : Gerhard Goos
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
5. Computer Aided Verification :
پدیدآورنده : Gerhard Goos
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
76
.
V47
G474
2000
6. DIANA An Intermediate Language for Ada
پدیدآورنده : edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
73
.
A35
E358
1983
7. Database Systems for Advanced Applications :
پدیدآورنده : Gerhard Goos
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Database management -- Congresses.,Information technology.
8. Digital and Image Geometry :
پدیدآورنده : Gerhard Goos
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
TA1637
.
G474
2001
9. ECOOP' 93 Object-Oriented Programming :
پدیدآورنده : Gerhard Goos
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
10. Grundlagen und funktionales Programmieren :
پدیدآورنده : Gerhard Goos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Informatik.
11. Informatik 2 :
پدیدآورنده : von Friedrich L. Bauer, Gerhard Goos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.
12. Informatik :
پدیدآورنده : Friedrich L. Bauer, Gerhard Goos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
13. Multiset Processing :
پدیدآورنده : Gerhard Goos
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA75
.
5
G474
2001
14. Paralleles Rechnen und nicht-analytische Lösungsverfahren :
پدیدآورنده : Gerhard Goos
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Informatik.,Mathematisches Modell ; SWD-ID: 41145288,Paralleler Algorithmus ; SWD-ID: 41936152
15. Theorem Proving in Higher Order Logics :
پدیدآورنده : edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
16. Vorlesungen a1/4ber informatik.
پدیدآورنده : Gerhard Goos
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
17. Vorlesungen über Informatik :
پدیدآورنده : von Gerhard Goos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.
رده :
QA76
.
7
V664
1995
18. Vorlesungen über Informatik :
پدیدآورنده : von Gerhard Goos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithm Analysis and Problem Complexity.,Computer science.,Computer Science.
19. Vorlesungen über Informatik :
پدیدآورنده : von Gerhard Goos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.
رده :
QA76
.
7
V664
1997
